Concession and modal calculus
نویسندگان
چکیده
منابع مشابه
A Polyadic Modal -calculus a Polyadic Modal -calculus
The propositional-calculus of Kozen extends modal logic with xed points to achieve a powerful logic for expressing temporal properties of systems modelled by labelled transition systems. We further extend Kozen's logic with polyadic modalities to allow for expressing also quite naturally behavioural relations like bisimula-tion equivalence and simulation preorders. We show that the problem of m...
متن کاملGames and Modal Mu-Calculus
We deene Ehrenfeucht-Fra ss e games which exactly capture the expressive power of the extremal xed point operators of modal mu-calculus. The resulting games have signiicance, we believe, within and outside of concurrency theory. On the one hand they naturally extend the iterative bisimulation games associated with Hennessy-Milner logic, and on the other hand they ooer deeper insight into the lo...
متن کاملModal Nonassociative Lambek Calculus
We study Nonassociative Lambek Calculus (NL) enriched with modal operations ♦ and ↓, satisfying the adjoint law:♦A⇒ B iff A⇒ ↓ B and the following S4-modal structural postulates: (T) A⇒ ♦A, (4)♦♦A⇒ ♦A. (K) ♦(A •B)⇒ ♦A • ♦B. This system, denoted by NLS4 here, was studied by e.g. Moortgat [13] and Plummer [14] in connection with Type-Logical Grammar. An algebraic model of NLS4, called a S4-modal ...
متن کاملfor modal mu - calculus
We define analogues of modal Sahlqvist formulas for the modal mu-calculus, and prove a correspondence theorem for them.
متن کاملModal Event Calculus
We deened an extension of Kowalski and Sergot's Event Calculus (EC) 2] to deal with incomplete information about event ordering. Given a set of events, EC allows to derive maximal time intervals (MVIs) over which the properties they initiate or terminate hold. When only partial knowledge on event ordering is given, EC is neither able to derive all admissible MVIs nor to distinguish which of the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Thélème. Revista Complutense de Estudios Franceses
سال: 2019
ISSN: 1989-8193,1139-9368
DOI: 10.5209/thel.63298